../../../ia32/include/arch/fpu_context.h